* src/Makefile.in ($(etc)/DOC): Make second command line even shorter.
authorGlenn Morris <rgm@gnu.org>
Sat, 21 May 2011 02:02:42 +0000 (19:02 -0700)
committerGlenn Morris <rgm@gnu.org>
Sat, 21 May 2011 02:02:42 +0000 (19:02 -0700)
commit5700770ed8151b0039147f3d5fa203c2ce2a24d9
tree0bbb6293200b0dd92bb80a91e008680dac417518
parentcc9ec382db2591c358a77acb5cbace0524c68811
* src/Makefile.in ($(etc)/DOC): Make second command line even shorter.
src/ChangeLog
src/Makefile.in